(Repeat (Unfolds ``equiv\_rel refl sym trans`` 0))